聚焦平台光束大气传输光束扩展的定标参数分析

建议采用63.2%环围能量半径及其内平均功率密度描述激光器大气传输光斑扩展特性.通过利用数值模拟及实验观测相结合的方法,对聚焦平台光束大气传输线性效应及湍流热晕相互作用引起的光束扩展进行了大量的数值模拟及部分实验研究,建立了描述聚焦平台光束大气传输光束扩展与大气传输特征物理参量的定标关系,从而为激光工程应用的可行性及系统参量的优化设计提供依据.     

教育要有针对性管理要有强制性

分析高职学生思想状态的多层次性,提出以正面的思想教育和启发引导为主,同时加强规章制度的制约性,以提高教育管理工作的效果.     

The beginning of immigrant settlement in the Helsinki metropolitan area and the role of social housing

Finland has experienced a rapid increase inimmigration since the beginning of the 1990s.Almost half of the foreign population isconcentrated in the metropolitan area of thecapital, Helsinki. The development andexplanations of their settlement patterns havenot yet been thoroughly studied. It ishypothesised in this study that social housingcan explain the settlement patterns. Indices ofdissimilarity were calculated to study thelevel and development of spatial segregation ofimmigrant groups in the Helsinki metropolitanarea in 1995–99, and the association betweenthe settlement patterns of immigrants andsocial housing was studied by regressionanalysis. Neighbourhood-level data were used.The results indicate that the Helsinkimetropolitan area has avoided extreme ethnicsegregation so far and that segregation isdecreasing. Especially immigrants from poorcountries are clearly associated with socialhousing in their settlement patterns, evenafter adjustment for socio-economic anddemographic differentiation. Also newconstruction of social housing seems to haveaffected the spatial distribution of thisgroup. Despite this dependence, the group isnot extremely segregated, which is probablybecause the social housing sector is nottotally marginalised.     

New two‐dimensional slope limiters for discontinuous Galerkin methods on arbitrary meshes

In this paper, we introduce an extension of Van Leer's slope limiter for two‐dimensional discontinuous Galerkin (DG) methods on arbitrary unstructured quadrangular or triangular grids. The aim is to construct a non‐oscillatory shock capturing DG method for the approximation of hyperbolic conservative laws without adding excessive numerical dispersion. Unlike some splitting techniques that are limited to linear approximations on rectangular grids, in this work, the solution is approximated by means of piecewise quadratic functions. The main idea of this new reconstructing and limiting technique follows a well‐known approach where local maximum principle regions are defined by enforcing some constraints on the reconstruction of the solution. Numerical comparisons with some existing slope limiters on structured as well as on unstructured meshes show a superior accuracy of our proposed slope limiters. Copyright © 2004 John Wiley & Sons, Ltd.     

A proof system for communicating processes with value-passing

A proof system for a version of CCS with value-passing is proposed in which the reasoning about data is factored out from that about the structure of processes. The system is shown to be sound and complete for finite terms with respect to a denotational semantics based on Acceptance Trees.     

The Logarithmic Image Processing Model: Connections with Human Brightness Perception and Contrast Estimators

The logarithmic image processing (LIP) model is amathematical framework based on abstract linear mathematicswhich provides a set of specific algebraic and functionaloperations that can be applied to the processing of intensityimages valued in a bounded range. The LIP model has been provedto be physically justified in the setting of transmitted lightand to be consistent with several laws and characteristics ofthe human visual system. Successful application examples havealso been reported in several image processing areas, e.g.,image enhancement, image restoration, three-dimensional imagereconstruction, edge detection and image segmentation.The aim of this article is to show that the LIP model is atractable mathematical framework for image processing which isconsistent with several laws and characteristics of humanbrightness perception. This is a survey article in the sensethat it presents (almost) previously published results in arevised, refined and self-contained form. First, an introductionto the LIP model is exposed. Emphasis will be especially placedon the initial motivation and goal, and on the scope of themodel. Then, an introductory summary of mathematicalfundamentals of the LIP model is detailed. Next, the articleaims at surveying the connections of the LIP model with severallaws and characteristics of human brightness perception, namelythe brightness scale inversion, saturation characteristic, Weber'sand Fechner's laws, and the psychophysical contrast notion. Finally,it is shown that the LIP model is a powerful and tractable framework for handling the contrast notion. This is done througha survey of several LIP-model-based contrast estimators associated with special subparts (point, pair of points,boundary, region) of intensity images, that are justified bothfrom a physical and mathematical point of view.     

北京市危旧房改造的多目标分解模式

由于政府、居民、开发商之间复杂的博弈,北京市1990年提出的综合性危改目标遇到了很大的挑战,为解决这一问题,本文提出危旧房改造的目标分解模式,即建立一个以危改区域或危改项目为导向的危改目标实现框架,将北京市危旧房改造的多重目标进行分解,然后制定相应的分目标政策,建立相应的分目标制度,采取相应的分目标措施,最终从总体上实现危旧房改造的目标,主导目标的确定应遵循四个基本原则,最后提出几个政策建议。     

Pathway to health: Cluster-randomized trail to increase fruit and vegetable consumption among smokers in public housing.

Objectives: Examine the effectiveness of an intervention to increase fruits and vegetables (FV) consumption among smokers. Design: Cluster-randomized trial of 20 public housing developments; 10 randomly assigned to an FV intervention and 10 to a smoking cessation intervention. Main outcome measures: Usual (past 7 days) and past 30 days change in daily FV intake at 8 weeks and 6 months postbaseline. Results: Greater increases were seen in the FV group. At Week 8 and Month 6, the FV group had consumed 1.58 (p = .001) and 0.78 (p = .04), respectively, more daily FV servings in the past 7 days than the cessation group. At the same time points, the FV group had consumed 3.61 (p = .01) and 3.93 (p = .01), respectively, more FV servings in the past 30 days than the cessation group. Completing more motivational interviewing sessions (p = .02) and trying more recipes (p = .02) led to significantly greater increases at Month 6 among FV participants. Conclusions: Motivational interviewing counseling and lifestyle modification through trying out healthy recipes may be effective in helping a high-risk population increase their FV intake. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Reconstruction of a discontinuous function from a few fourier coefficients using bayesian estimation

The goal of this paper is the application of spectral methods to the numerical solution of conservation law equations. Spectral methods furnish estimates of the firstn Fourier coefficients of the solution. But since the solutions of conservation law equations can have discontinuities, the estimate of the solution by summing the firstn terms of the Fourier series will haveO(1/n) error, even if the Fourier coefficients are known to high accuracy. But if the solution could be accurately reconstructed from its Fourier coefficients, spectral methods could be used effectively in these problems. A method for doing this is to assume a probability distribution for functions. Functions which are smooth away from the discontinuity are assumed to be likely, and those which are not smooth away from the discontinuity are assumed to be unlikely. Then a reconstruction algorithm is chosen by minimizing the expected error over all algorithms. It is possible to put the smoothness assumptions mentioned earlier into an infinite-dimensional Gaussian probability distribution, and then the minimum-error algorithm is well-known and fairly simple to construct and apply. If the Fourier coefficients of the reconstructed function are known exactly, then this approach gives very good results. But when used with Fourier coefficients obtained from a spectral approximation to Burgers' equation, the results were much less impressive, probably because the coefficients were not known very accurately. It is possible to construct filters that reconstruct a function using Legendre or Chebyshev coefficients for information instead Fourier coefficients. It is found that the performance of these filters is similar to the Fourier case.     

西安绿色康居小区规划设计剖析

通过对西安绿色康居小区规划设计的实例分析，阐明了小康型住宅区的标准和要求，在旧城住宅区改造中的落实和运用，试图探索下一世纪旧城住宅区的改造之路．